1. Deontic logic and artificial normative systems
Author: / Lou Goble, John-Jules Ch. Meyer (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer scienc--Congresses,Deontic logi--Congresses,Artificial normative system
Classification :
E-BOOK
2. Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Author: Lou Goble, John-Jules Ch. Meyer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Deontic logic
Classification :
QA
76
.
L28
Vol
.
4048
3. Deontic logic in computer science
Author: Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Deontic logic, Congresses
Classification :
QA75
.
5
.
I64
2011eb
4. Deontic logic in computer science. normative system specification /
Author: edited by John-Jules Ch. Meyer and Roel J. Wieringa
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer science- Congresses,، Deontic logic- Congresses
Classification :
QA
75
.
5
.
D46
5. Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Author: Alessio Lomuscio, Donald Nute )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Deontic logic
Classification :
QA
76
.
L28
Vol
.
3065
6. MICAI 2002 :
Author: Carlos A. Coello Coello [and others], (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence.
7. Reasoning web :
Author: Claudia d'Amato, Martin Theobald (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
Classification :
TK5105
.
88815